Thread Pools and the Executor Framework in Java